//
//  file.h
//  LTLBMC
//
//  Created by GD Huang on 5/16/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef LTLBMC_file_h
#define LTLBMC_file_h

#include "global.h"
#include "fundec.h"

namespace cilast {
    class file : public OCamlObject {
    public:
        std::string fileName;
        std::vector<global*> globals;
        fundec* globinit;
        bool globinitcalled;
        
        fundec* mainFundec;
    };
}




#endif
